#!/bin/sh -x
vlogan -full64 -kdb $*
